Distributed System Behavior Modeling with Ontologies, Rules, and Message Passing Mechanisms
نویسندگان
چکیده
Modern societal-scale infrastructures (e.g., buildings, roads, railways, and power supplies) that are defined by spatially distributed network structures, concurrent subsystem-level behaviours, distributed control and decision making, and interdependencies among subsystems that are not always well understood. During both Hurricanes Katrina and Sandy, it quickly became evident a disturbance in one system can impact other networks in ways that are both unexpected and undesirable. Such outcomes put engineering designers and urban planners (decision makers) in a tough spot where quantitative decision-making regarding the adequacy of system infrastructure is complicated by the presence of newfound system interactions. This paper takes a first step toward providing designers and planners with computational support for simulation of distributed system behaviours with system-level interactions. We describe an experimental software prototype for distributed event-based system behaviour modelling with ontologies, rules checking and message passing mechanisms. Key features of the software architecture are demonstrated through the development of two scenarios: (1) A family interacting with a school system, and (2) Simulation of adjustments to the Washington DC Metro System schedule in response to a severe storm. © 2015 The Authors. Published by Elsevier B.V. Peer-review under responsibility of the scientific committee of Stevens Institute of Technology.
منابع مشابه
Distributed System Behavior Modeling of Urban Systems with Ontologies, Rules and Many-to-Many Association Relationships
Modern societal-scale infrastructures are defined by spatially distributed network structures, concurrent subsystemlevel behaviors, distributed control and decision making, and interdependencies among subsystems that are not always well understood. This work-in-progress paper presents a model of system-level interactions that simulates distributed system behaviors through the use of ontologies,...
متن کاملAn Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm
Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...
متن کاملModeling Agent Systems with Distributed Transformation Units
Agent systems have become more and more important in computer science. They allow to implement complex distributed systems composed of communicating autonomous entities. Transformation units constitute a structuring principle for graph transformation systems which split up large sets of rules, but still graphs are transformed as a whole. Recently, distributed transformation units have been intr...
متن کاملA Message-Passing Distributed Memory Parallel Algorithm for a Dual-Code Thin Layer, Parabolized Navier-Stokes Solver
In this study, the results of parallelization of a 3-D dual code (Thin Layer, Parabolized Navier-Stokes solver) for solving supersonic turbulent flow around body and wing-body combinations are presented. As a serial code, TLNS solver is very time consuming and takes a large part of memory due to the iterative and lengthy computations. Also for complicated geometries, an exceeding number of grid...
متن کاملUml Based Modeling of Performance Oriented Parallel and Distributed Applications
In this paper we introduce a novel approach for modeling performance oriented distributed and parallel applications based on the Unified Modeling Language (UML). We utilize the UML extension mechanisms to customize UML for the domain of performance oriented distributed and parallel computing. A set of UML building blocks is described that model some of the most important constructs of message p...
متن کامل